In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
181	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming
182	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering
183	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
184	PREFACE Subject In this book, I describe the Linux programming interface—the system calls, library functions, and other low-level interfaces provided by Linux, a free implementation of the UNIX operating system. These Add to Reading List Source URL: www.man7.org Language: English - Date: 2015-05-07 06:42:59 Application programming interfaces Unix IEEE standards Cross-platform software Linux POSIX Single UNIX Specification Operating system Thread Computing Software System software
185	Implementation and Evaluation of Moderate Parallelism in the BIND9 DNS Server JINMEI, Tatuya / Toshiba Paul Vixie / Internet Systems Consortium [Supported by SCOPE of the Ministry of Internal Affairs Add to Reading List Source URL: www.jinmei.org Language: English - Date: 2006-06-10 10:10:18 Computer programming Lock Thread Busy waiting C dynamic memory allocation Root name server Name server Computing Concurrency control Domain name system
186	In Proceedings of the 11th IASTED International Conference SOFTWARE ENGINEERING AND APPLICATIONS November 19–21, 2007, Cambridge, MA USA ISBN Hardco Add to Reading List Source URL: www.cs.uml.edu Language: English - Date: 2007-11-21 14:33:20 System software OpenGL Technical communication Creativity Native API API Management Software Computing Application programming interfaces
187	MAPS European Newsletter - December 2013 \| General News \| Product News \| Project News \| Downloads/Documents \| Recent Events \| Support \| Contact \| General News I spent two days at the SPS IPC Drives exhibition held in Nu Add to Reading List Source URL: www.adroit.co.za Language: English - Date: 2014-01-21 07:21:10 SCADA Application programming interfaces Automation Opc server PROMOTIC SCADA system Technology Telemetry Industrial automation
188	Efficient Method Dispatch in PCL Gregor J. Kiczales and Luis H. Rodriguez Jr. Published in proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 99  105, Also appears in A. Paepcke, e Add to Reading List Source URL: www2.parc.com Language: English - Date: 1999-09-13 18:19:02 Method Computer performance Software optimization Object-oriented programming Memoization Search algorithms Common Lisp Object System Generic function Hash function Computing Computer programming Software engineering

UPDATE